00100	Here are some notes aimed at revising the section in McC and Hayes
00200	concerned with knowledge.
00300	
00400		1. An assertion of knowledge has the form
00500	
00600			knows(p,e,s)
00700	
00800	where  p  is a person, e is an expression, and s  is the situation.
00900	
01000		2. In talking about knowledge, we shall also need
01100	
01200		value(p,e,s)
01300	
01400	which is the value that person p ascribes to the expression e
01500	in situation  s.  Here  s  denotes the situation in which  p
01600	is doing the ascribing; any situation that  p  is thinking about
01700	will have to be designated within the expression  e.
01800	
01900	
02000		Here are some sentences to formalize:
02100	
02200		1. John's telephone number is in the book.
02300	
02400		2. If someone's telephone number is in the book
02500	and you look it up then you will know it.
02600	
02700		3. When I get to Paris airport, it will be apparent how
02800	to change planes for Algiers.
02900	
03000		4. In Algiers, someone will have a jeep for rent.
03100	
03200		5. If you know an expression  e, then the value you
03300	ascribe to it is its value.
03400	
03500		6. ∀x. value(name(x)) = x.  This may be questionable.
03600	
03700	
03800		Axiomatize sentences concerned with the storage of information
03900	on paper, how it gets there and how reading results in knowledge.
04000	The fact that the information is stored in English and that the
04100	reader knows English should be expressible.
04200	
04300		Questions and questioning: How do I get to the AI project
04400	from San Francisco airport?  Go out of the airport and turn south
04500	on the freeway.
04600	Continue for about 20 miles and get off at the Oregon avenue exit.
04700	Go west on Oregon avenue (it changes its name after a while to
04800	Page Mill Road) until you pass under a freeway (280) and turn
04900	right on Arastradero road.  The AI project is about a mile on
05000	down the road on the right and is marked by a sign saying
05100	Stanford University Donald C. Power Laboratory.  Drive into the
05200	parking lot and park, and you will see stairs leading to an
05300	entrance.  Go in and you will find a secretary on the right who
05400	can direct you to whomever you want.
05500	
05600	Note:  The AI project is not on the Stanford campus, so ignore
05700	signs or advice directing you to the campus.
05800	
05900		Note that the above advice does not take into account
06000	possible troubles with the car.  Perhaps we should regard it
06100	as telling how to get to the AI lab in a model that is homomorphically
06200	related to the real world.